algorithmic language program[计] 算法语言程序;算法语言程序
algorithmic language program conversion算法语言程序转换;[计] 算法语言程序翻译;算法语言程序转换英语;翻译
algorithmic program of MATLABMATLAB算法程序
Algorithmic program transformation算法程序变换
developing method of algorithmic program算法程序开发方法
It’s a prevalent trendency to automatically verify the correctness of algorithmic program by means of theorem prover.
使用定理证明工具对算法程序进行机械证明是一种发展趋势。
参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用